<html>
<head><meta charset="utf-8"><title>I-prioritize #79674 ICE with const generics: asked to assem… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html">I-prioritize #79674 ICE with const generics: asked to assem…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="220533365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220533365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220533365">(Dec 20 2020 at 19:28)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/79674">#79674</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="220602266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220602266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220602266">(Dec 21 2020 at 16:30)</a>:</h4>
<p>Given this requires a nightly feature, is this a P-low?</p>



<a name="220602686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220602686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220602686">(Dec 21 2020 at 16:35)</a>:</h4>
<p>If it requires nightly features it shouldn't be <code>regression-from-stable-to-stable</code>, and I think we don't prioritize them usually</p>



<a name="220603347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220603347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220603347">(Dec 21 2020 at 16:41)</a>:</h4>
<p>The label was added by <span class="user-mention" data-user-id="217864">@matthiaskrgr</span> . Shall we remove the regression-from-stable-to-stable label?</p>



<a name="220603431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220603431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220603431">(Dec 21 2020 at 16:42)</a>:</h4>
<p>Yeah, I think so</p>



<a name="220603452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220603452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220603452">(Dec 21 2020 at 16:42)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/79674">#79674</a>'s prioritization request has been removed.</p>



<a name="220635626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220635626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220635626">(Dec 21 2020 at 22:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/79674">#79674</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="220635641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220635641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220635641">(Dec 21 2020 at 22:00)</a>:</h4>
<p>I think we can go with <code>P-low</code> here</p>



<a name="220635846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220635846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220635846">(Dec 21 2020 at 22:02)</a>:</h4>
<p>Or maybe... Is this valid code with the features enabled?</p>



<a name="220635922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220635922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220635922">(Dec 21 2020 at 22:03)</a>:</h4>
<p>Perhaps we should wait for <span class="user-mention silent" data-user-id="216206">lcnr</span> or someone else who knows const generics well enough to tell.</p>



<a name="220635959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220635959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220635959">(Dec 21 2020 at 22:03)</a>:</h4>
<p>I don't think we should really treat this as a stable-to-stable regression.</p>



<a name="220636029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636029">(Dec 21 2020 at 22:04)</a>:</h4>
<p>The code doesn't work without nightly features, so it shouldn't be affecting anyone who's actually on stable.</p>



<a name="220636056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636056">(Dec 21 2020 at 22:04)</a>:</h4>
<p>Right, but you can reproduce it on stable</p>



<a name="220636099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636099">(Dec 21 2020 at 22:05)</a>:</h4>
<p>So it doesn't "require" a nightly compiler to reproduce</p>



<a name="220636102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636102">(Dec 21 2020 at 22:05)</a>:</h4>
<p>Yes, but a lot of things can be reproduced on stable since the compiler will still try to compile something even if it requires features.</p>



<a name="220636107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636107">(Dec 21 2020 at 22:05)</a>:</h4>
<p>Anyway we're nitpicking on terminology here :D</p>



<a name="220636121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636121">(Dec 21 2020 at 22:05)</a>:</h4>
<p>But in general we don't prioritize nightly code, right?</p>



<a name="220636185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636185">(Dec 21 2020 at 22:06)</a>:</h4>
<p>And this code can't be used on stable even if it didn't ICE.</p>



<a name="220636190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636190">(Dec 21 2020 at 22:06)</a>:</h4>
<p>We do prioritize what's going to get to stable in 2 stable releases, i.e. <code>stable-to-nightly-regression</code>s</p>



<a name="220636216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636216">(Dec 21 2020 at 22:06)</a>:</h4>
<p>Well, I forgot that const generics are going to be stabilized soon.</p>



<a name="220636231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636231">(Dec 21 2020 at 22:07)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6/near/220636216">said</a>:</p>
<blockquote>
<p>Well, I forgot that const generics are going to be stabilized soon.</p>
</blockquote>
<p>Only <code>min_const_generics</code> though</p>



<a name="220636251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636251">(Dec 21 2020 at 22:07)</a>:</h4>
<p>Just curious, can we repro with <code>min_const_generics</code>?</p>



<a name="220636254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636254">(Dec 21 2020 at 22:07)</a>:</h4>
<p>Well, either way, better to err on the side of prioritization.</p>



<a name="220636257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636257">(Dec 21 2020 at 22:07)</a>:</h4>
<p>What do you mean?</p>



<a name="220636349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636349">(Dec 21 2020 at 22:08)</a>:</h4>
<p>I mean replace the <code>#![feature(const_generics)]</code> in the repro with <code>#![feature(min_const_generics)]</code></p>



<a name="220636354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636354">(Dec 21 2020 at 22:08)</a>:</h4>
<p>And it doesn't compile</p>



<a name="220636406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636406">(Dec 21 2020 at 22:09)</a>:</h4>
<p>It errors but it doesn't ICE.</p>



<a name="220636425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636425">(Dec 21 2020 at 22:09)</a>:</h4>
<p>Right</p>



<a name="220636843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636843">(Dec 21 2020 at 22:12)</a>:</h4>
<p>So P-medium?</p>



<a name="220636863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636863">(Dec 21 2020 at 22:12)</a>:</h4>
<p>Or even P-low.</p>



<a name="220636885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636885">(Dec 21 2020 at 22:12)</a>:</h4>
<p>I'd lean more towards <code>P-low</code> because it gives errors before ICE'ing</p>



<a name="220636891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636891">(Dec 21 2020 at 22:12)</a>:</h4>
<p>But I'm OK with <code>P-medium</code></p>



<a name="220636896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636896">(Dec 21 2020 at 22:12)</a>:</h4>
<p>It does?</p>



<a name="220636920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636920">(Dec 21 2020 at 22:13)</a>:</h4>
<p>It doesn't give errors.</p>



<a name="220636922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636922">(Dec 21 2020 at 22:13)</a>:</h4>
<div class="codehilite"><pre><span></span><code>   Compiling playground v0.0.1 (/playground)
error[E0554]: `#![feature]` may not be used on the stable release channel
 --&gt; src/main.rs:1:1
  |
1 | #![feature(const_generics)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0554]: `#![feature]` may not be used on the stable release channel
 --&gt; src/main.rs:2:1
  |
2 | #![feature(const_evaluatable_checked)]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0554]: `#![feature]` may not be used on the stable release channel
 --&gt; src/main.rs:3:1
  |
3 | #![feature(const_fn)]
  | ^^^^^^^^^^^^^^^^^^^^^

warning: the feature `const_generics` is incomplete and may not be safe to use and/or cause compiler crashes
 --&gt; src/main.rs:1:12
  |
1 | #![feature(const_generics)]
  |            ^^^^^^^^^^^^^^
  |
  = note: `#[warn(incomplete_features)]` on by default
  = note: see issue #44580 &lt;https://github.com/rust-lang/rust/issues/44580&gt; for more information

warning: the feature `const_evaluatable_checked` is incomplete and may not be safe to use and/or cause compiler crashes
 --&gt; src/main.rs:2:12
  |
2 | #![feature(const_evaluatable_checked)]
  |            ^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #76560 &lt;https://github.com/rust-lang/rust/issues/76560&gt; for more information

error: internal compiler error: compiler/rustc_trait_selection/src/traits/select/mod.rs:1473:17: asked to assemble builtin bounds of unexpected type: Placeholder(Placeholder { universe: U1, name: 0 })

thread &#39;rustc&#39; panicked at &#39;Box&lt;Any&gt;&#39;, compiler/rustc_errors/src/lib.rs:945:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&amp;template=ice.md

note: rustc 1.48.0 (7eac88abb 2020-11-16) running on x86_64-unknown-linux-gnu

note: compiler flags: -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 --crate-type bin

note: some of the compiler flags provided by cargo are hidden

error: aborting due to 4 previous errors; 2 warnings emitted

For more information about this error, try `rustc --explain E0554`.
error: could not compile `playground`

To learn more, run the command again with --verbose.
</code></pre></div>



<a name="220636940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636940">(Dec 21 2020 at 22:13)</a>:</h4>
<p>Yes, but that's expected.</p>



<a name="220636946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636946">(Dec 21 2020 at 22:13)</a>:</h4>
<p>What's your point? :)</p>



<a name="220636968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636968">(Dec 21 2020 at 22:13)</a>:</h4>
<p>My point is, if you're a stable user, you won't get confused</p>



<a name="220636972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636972">(Dec 21 2020 at 22:13)</a>:</h4>
<p>Ah, I see.</p>



<a name="220636976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220636976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220636976">(Dec 21 2020 at 22:13)</a>:</h4>
<p>So P-low it is.</p>



<a name="220637039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220637039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220637039">(Dec 21 2020 at 22:14)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/79674">#79674</a>'s prioritization request has been removed.</p>



<a name="220637043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220637043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220637043">(Dec 21 2020 at 22:14)</a>:</h4>
<p>Done!</p>



<a name="220637065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220637065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220637065">(Dec 21 2020 at 22:14)</a>:</h4>
<p>I'll still ping <span class="user-mention" data-user-id="216206">@lcnr</span> here, in case they want to take a look at the code and tell us if this is supposed to work or not</p>



<a name="220637087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220637087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220637087">(Dec 21 2020 at 22:15)</a>:</h4>
<p>Only 7 issues left to go!</p>



<a name="220678277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379674%20ICE%20with%20const%20generics%3A%20asked%20to%20assem%E2%80%A6/near/220678277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379674.20ICE.20with.20const.20generics.3A.20asked.20to.20assem.E2.80.A6.html#220678277">(Dec 22 2020 at 10:56)</a>:</h4>
<p>yeah, <code>P-low</code> seems correct to me here</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>